clock -add clk -initial 0

force reset 0
run 10
init -load -current
init -show
init -add pslverr 0
init -add pready 0

init -add apb_slave.apb_slave_mem.Mem[0][31:0] 0
init -add apb_slave.apb_slave_mem.Mem[1][31:0] 0
init -add apb_slave.apb_slave_mem.Mem[2][31:0] 0
init -add apb_slave.apb_slave_mem.Mem[3][31:0] 0
init -add apb_slave.apb_slave_mem.Mem[4][31:0] 0
init -add apb_slave.apb_slave_mem.Mem[5][31:0] 0
init -add apb_slave.apb_slave_mem.Mem[6][31:0] 0
init -add apb_slave.apb_slave_mem.Mem[7][31:0] 0
init -add apb_slave.apb_slave_mem.Mem[8][31:0] 0
init -add apb_slave.apb_slave_mem.Mem[9][31:0] 0
init -add apb_slave.apb_slave_mem.DOUT[31:0] 0

constraint -add -pin reset 1 

assertion -add * 
prove 
